projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0692564) | patch
MAINTAINERS: tools/ocaml: update David Scott's email address
authorDavid Scott <dave.scott@eu.citrix.com>
Wed, 2 Sep 2015 10:04:41 +0000 (11:04 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 4 Sep 2015 14:03:38 +0000 (15:03 +0100)
commit09e2a619a4c028a4e452fb557a215c70feb20bc5
tree776bc67488feb781022210449fc06fc91a99ed31tree | snapshot
parent06925643ce4e13a2e8d1e2e71fd12d11f81b8b3ccommit | diff
MAINTAINERS: tools/ocaml: update David Scott's email address

Replace my sometimes unreliable <dave.scott@eu.citrix.com> address with
my reliable permanent address.

Reported-by: Doug Goldstein <cardoe@cardoe.com>
Signed-off-by: David Scott <dave@recoil.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
MAINTAINERS diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.